Arild Waaler: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Aristotle, Leibniz and the Modal Categories in the Interlude of the Fragments

Journal:

Kierkegaard StudiesYearbook

Year:

1998

Language:

english

File:

PDF, 1.68 MB

english, 1998

2

Engineering ontology-based access to real-world data sources

Skjæveland, Martin G., Giese, Martin, Hovland, Dag, Lian, Espen H., Waaler, Arild

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2015

Language:

english

File:

PDF, 392 KB

english, 2015

3

Handbook of Automated Reasoning || Connections in Nonclassical Logics

Year:

2001

Language:

english

File:

PDF, 5.00 MB

english, 2001

4

Philosophical Fragments – in Response to the Debate between Mynster and Martensen

Waaler, Arild, Fink Tolstrup, Christian

Journal:

Kierkegaard StudiesYearbook

Year:

2004

Language:

english

File:

PDF, 170 KB

english, 2004

5

Proof Search for the First-Order Connection Calculus in Maude

Bjarne Holen, Einar Broch Johnsen, Arild Waaler

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 304 KB

english, 2009

6

Only knowing with degrees of confidence

Arild Waaler, Johan W. Klüwer, Tore Langholm, Espen H. Lian

Journal:

Journal of Applied Logic

Year:

2007

Language:

english

File:

PDF, 351 KB

english, 2007

7

Liberalized Variable Splitting

Roger Antonsen, Arild Waaler

Journal:

Journal of Automated Reasoning

Year:

2007

Language:

english

File:

PDF, 651 KB

english, 2007

8

Incremental variable splitting

Christian Mahesh Hansen, Roger Antonsen, Martin Giese, Arild Waaler

Journal:

Journal of Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 367 KB

english, 2012

9

[Society of Petroleum Engineers SPE Intelligent Energy International - Utrecht, The Netherlands (2012-03-27)] SPE Intelligent Energy International - Using Semantic Technology to Auto-generate Reports: Case Study of Daily Drilling Reports

Giese, Martin, Ornas, Jens Ingvald, Overå, Lars, Svensson, Inge, Waaler, Arild

Language:

english

File:

PDF, 357 KB

english

10

Optique: Zooming in on Big Data

Giese, Martin, Soylu, Ahmet, Vega-Gorgojo, Guillermo, Waaler, Arild, Haase, Peter, Jimenez-Ruiz, Ernesto, Lanti, Davide, Rezk, Martin, Xiao, Guohui, Ozcep, Ozgur, Rosati, Riccardo

Journal:

Year:

2015

Language:

english

File:

PDF, 3.74 MB

english, 2015

11

[Lecture Notes in Computer Science] Automated Reasoning with Analytic Tableaux and Related Methods Volume 5607 || Taming Displayed Tense Logics Using Nested Sequents with Deep Inference

Giese, Martin, Waaler, Arild

Year:

2009

Language:

english

File:

PDF, 265 KB

english, 2009

12

[Society of Petroleum Engineers SPE Intelligent Energy Conference and Exhibition - Utrecht, The Netherlands (2010-03-23)] SPE Intelligent Energy Conference and Exhibition - Digital Platform for the Next Generation IO: A Prerequisite for the High North

Verhelst, Frederic, Myren, Frode, Rylandsholm, Pal, Svensson, Inge, Waaler, Arild, Skramstad, Torbjorn, Ornas, Jens Ingvald, Tvedt, Baard Henning, Høydal, Jan

Language:

english

File:

PDF, 752 KB

english

13

Visual query interfaces for semantic datasets: An evaluation study

Vega-Gorgojo, Guillermo, Slaughter, Laura, Giese, Martin, Heggestøyl, Simen, Soylu, Ahmet, Waaler, Arild

Journal:

Web Semantics: Science, Services and Agents on the World Wide Web

Year:

2016

Language:

english

File:

PDF, 2.10 MB

english, 2016

14

[Society of Petroleum Engineers SPE Intelligent Energy Conference and Exhibition - (2010.03.23-2010.03.25)] Proceedings of SPE Intelligent Energy Conference and Exhibition - Digital Platform for the Next Generation IO: A Prerequisite for the High North

Verhelst, Frederic, Myren, Frode, Rylandsholm, Pal, Svensson, Inge, Waaler, Arild, Skramstad, Torbjorn, Ornas, Jens Ingvald, Tvedt, Baard, Høydal, Jan

Year:

2010

Language:

english

File:

PDF, 752 KB

english, 2010

15

Using Semantic Technology to Tame the Data Variety Challenge

Horrocks, Ian, Giese, Martin, Kharlamov, Evgeny, Waaler, Arild

Journal:

IEEE Internet Computing

Year:

2016

Language:

english

File:

PDF, 1.99 MB

english, 2016

16

Matching disease and phenotype ontologies in the ontology alignment evaluation initiative

Harrow, Ian, Jiménez-Ruiz, Ernesto, Splendiani, Andrea, Romacker, Martin, Woollard, Peter, Markel, Scott, Alam-Faruque, Yasmin, Koch, Martin, Malone, James, Waaler, Arild

Journal:

Journal of Biomedical Semantics

Year:

2017

Language:

english

File:

PDF, 502 KB

english, 2017

17

Visual Query Interfaces for Semantic Datasets: An Evaluation Study

Vega-Gorgojo, Guillermo, Slaughter, Laura, Giese, Martin, Heggestoyl, Simen, Soylu, Ahmet, Waaler, Arild

Journal:

SSRN Electronic Journal

Year:

2016

Language:

english

File:

PDF, 2.17 MB

english, 2016

18

Engineering Ontology-Based Access to Real-World Data Sources

Skjjveland, Martin G., Giese, Martin, Hovland, Dag, Lian, Espen H., Waaler, Arild

Journal:

SSRN Electronic Journal

Year:

2015

Language:

english

File:

PDF, 377 KB

english, 2015

19

[IEEE 2018 IEEE International Conference on Big Data (Big Data) - Seattle, WA, USA (2018.12.10-2018.12.13)] 2018 IEEE International Conference on Big Data (Big Data) - Finding Data Should be Easier than Finding Oil

Kharlamov, Evgeny, Skjaveland, Martin, Hovland, Dag, Mailis, Theofilos, Jimenez-Ruiz, Ernesto, Xiao, Guohui, Soylu, Ahmet, Horrocks, Ian, Waaler, Arild

Year:

2018

Language:

english

File:

PDF, 10 KB

english, 2018

20

[IEEE 2018 IEEE International Conference on Big Data (Big Data) - Seattle, WA, USA (2018.12.10-2018.12.13)] 2018 IEEE International Conference on Big Data (Big Data) - Towards Simplification of Analytical Workflows With Semantics at Siemens (Extended Abstract)

Kharlamov, Evgeny, Mehdi, Gulnar, Savkovic, Ognjen, Xiao, Guohui, Lamparter, Steffen, Horrocks, Ian, Waaler, Arild

Year:

2018

Language:

english

File:

PDF, 1.91 MB

english, 2018